Safety-centered process control design based on dynamic safe set

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Safe Design Method of Embedded Control Systems based on COTS

In this paper, we propose an approach based on formal verification and discrete controller synthesis that are combined within a component-based design method. Formal verification finds design errors and provides counterexamples while the Discrete Controller Synthesis technique attempts to enforce previously verified specifications which do not hold. It automatically produces control code, which...

متن کامل

Economical-Statistical design of one- sided CCC-r control chart based on analytical hierarchy process

The cumulative count of a conforming (CCC) control chart is used for high quality processes.The CCC − r chart is an improvement of the CCC chart that is based on the cumulative number of items inspected until observing r non-conforming ones. This paper aims to propose a new approach for manufacturer’s decision making according to the criteria among the available options. The o...

متن کامل

Requirements-Based Design Guidance: A Process-Centered Consistency Management Approach

In previous work, we have argued that constraints on the relationships between requirements elements and design elements can be used to guide designers in making design decisions. We have also argued the importance of controlling which constraints to apply, when to apply them, and what responses to take on constraint failure in order to make this guidance effective. Our suggestion, to control t...

متن کامل

Distributed Process Management System Based on Object-Centered Process Modeling

Most of process-centered software engineering environments and those languages focus on how to produce the product. However, recent software development tend to require to focus on what should be made, because of emergence of various types of software developments; e.g., software reuse, component-based composition, and so on. To achieve this, we propose in this paper a new development environme...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Loss Prevention in the Process Industries

سال: 2020

ISSN: 0950-4230

DOI: 10.1016/j.jlp.2020.104126